COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00004 ENDMK
C⊗;
.require "let.pub[let,jmc]" source
∂CSL Dr  George Paul↓IBM TJ Watson Research Center↓P.O. Box 218
↓Yorktown Heights, New York 10598∞

Dear Dr. Paul:

	Jitendra Malik worked for me as a research assistant during the
Spring and Summer of 1981 and as a teaching assistant in the Fall of 1981.
The work involved proving properties of LISP programs using the new
EKL interactive theorem prover developed by Dr. Jussi Ketonen.  Mr. Malik
was conscientious, but program verification turned out not to appeal to
him as an area of research.  I would expect that his more recent recommendation
from Tom Binford would better reflect his abilities.

.sgn